(= (- 1 -1) 2)
